/**
 * ANSI-C hello world
 */
#include <stdio.h>

int main(void)
{
  printf("Hello, world!");
}
